1. Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, Augustll-15, 1980
Author: Edited by F. Richman
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Constructive mathematics - Congresses,Inuitionistic mathematics - Congresses
Classification :
QA
3
.
L28
no
.
873
